Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Computer Science_BS_Information Systems.pdf

Source URL: catalog.southernct.edu

• Course
• Curricula

The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc.

Source URL: www.ofirweisse.com

• Cryptography
• Side-channel attacks
• Block ciphers
• Advanced Encryption Standard
• Power analysis
• Cryptanalysis
• International Data Encryption Algorithm

Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Measure theory
• operator
• Decomposition of spectrum

Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen

Source URL: www.cs.ox.ac.uk

• Estimation theory
• Probability and statistics
• Statistics
• Graph theory
• Markov chain
• Parameter
• Machine learning
• Probability distribution fitting
• Parametric model
• Twisting properties

McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Web programming
• Web browsers
• Mozilla
• Cloud clients
• Portable software
• JavaScript
• Asm.js
• Firefox
• Microsoft Edge
• Google Chrome

Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Electronic engineering
• Logic gates
• Digital electronics
• Electrical engineering
• Electronics
• Electrical circuits
• Digital systems
• Clock signal
• C-element
• Asynchronous circuit
• Sequential logic
• Flip-flop

Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley

Source URL: www.forth.org

• Data types
• Software engineering
• Mathematics
• Computing
• Const
• Transpose
• Matrix
• Programming language syntax
• ELLA

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Source URL: www.prismmodelchecker.org

• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• PRISM model checker
• Reinforcement learning
• Probabilistic CTL
• Application software

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle